Witnessing Purity, Constancy and Mutability
نویسنده
چکیده
Restricting destructive update to values of a distinguished reference type prevents functions from being polymorphic in the mutability of their arguments. This restriction makes it easier to reason about program behaviour during transformation, but the lack of polymorphism reduces the expressiveness of the language. We present a System-F style core language that uses dependently kinded proof witnesses to encode information about the mutability of values and the purity of computations. We support mixed strict and lazy evaluation, and use our type system to ensure that only computations without visible side effects are suspended.
منابع مشابه
Constancy Analysis
A reference variable x is constant in a piece of code C if the execution of C does not modify the heap structure reachable from x. This information lets us infer purity of method arguments, an important ingredient during the analysis of programs dealing with dynamically allocated data structures. We define here an abstract domain expressing constancy as an abstract interpretation of concrete de...
متن کاملEvidence that gene amplification underlies adaptive mutability of the bacterial lac operon.
Adaptive mutability is the apparent alteration in specificity or rate of mutability seen in bacteria during stress. A model is proposed by which gene amplification during selective growth can give the appearance of adaptive mutability without requiring any change in mutability. The model is based on two assumptions, that a mutant lac locus with residual function allows growth if its copy number...
متن کاملEffect of repair deficiency and R plasmids on spontaneous and radiation-induced mutability in Pseudomonas aeruginosa.
The effect of R plasmids on spontaneous and radiation (ultraviolet and gamma)-induced mutability in Pseudomonas aeruginosa was studied in strains containing the radiation-sensitive markers polA3 or rec-2 and the revertable auxotrophic markers hisO27 and trpB1. In the absence of an R plasmid, the radiation-induced mutability was dependent on the recA+ genotype and independent of the polA+ genoty...
متن کاملUnderstanding the Elusive Black Box of Artifact Mutability
Statements on artifact mutability are considered a core component of design theories, but the understanding of this phenomenon is fragmented and limited. To mitigate this issue, we build a framework of artifact mutability that is structured into six generic dimensions: paradigmatic perspective, intentionality, drivers, scope, temporality, and artifact layers. We review existing design theories ...
متن کاملShort inverted repeats contribute to localized mutability in human somatic cells
Selected repetitive sequences termed short inverted repeats (SIRs) have the propensity to form secondary DNA structures called hairpins. SIRs comprise palindromic arm sequences separated by short spacer sequences that form the hairpin stem and loop respectively. Here, we show that SIRs confer an increase in localized mutability in breast cancer, which is domain-dependent with the greatest mutab...
متن کامل